1. Alan M. Turing /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
T8
2012

2. An updated classification of the recent Crustacea

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Crustacea--Classification

رده :
QL
438
.
M3
2001

3. Applied nonstandard analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Nonstandard mathematical analysis

رده :
QA
299
.
82
.
D38

4. Applied nonstandard analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Nonstandard mathematical analysis

رده :
QA
.
D38
299
.
82

5. Computability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions

رده :
QA
.
D38
9
.
615
1982

6. Computability, Complexity, and Languages

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری

رده :
E-Book
,

7. Computability and unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

رده :
QA
9
.
615
.
D38
1982

8. Computability and unsolvability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Recursive functions

رده :
QA
248
.
5
.
D3

9. Computability, complexity, and languages

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1994

10. Computability, complexity, and languages :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994

11. Computability, complexity, and languages

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
.
D38
267
1983

12. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6

13. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

موضوع : ، Machine theory,، Computational complexity,، Formal languages

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

14. Computability, complexity, and languages fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38

15. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
1994

16. Computability & unsolvability

پدیدآورنده :

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

17. Computability & unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS

رده :
QA
9
.
615
.
D38

18. Computability & unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS

رده :
QA
9
.
615
.
D38
1982

19. Die Löwen-Liga :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Relationship marketing.,Selling.,Success in business.

20. Differential and integral calculus

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Calculus

رده :
QA
303
.
L254